Fixup dpatch stuff
authorStephane Glondu <steph@glondu.net>
Tue, 8 Jul 2008 11:23:53 +0000 (13:23 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 8 Jul 2008 11:23:53 +0000 (13:23 +0200)
commit64afcb822a39d1eb5675242ee83fff477c3e6338
tree4d12be6d33a4feebd431ebb6b1382371f9b82344
parent215dc297a719e0a18cc895b5ca94855b00388c2f
Fixup dpatch stuff
debian/patches/00dpatch.conf [deleted file]
debian/patches/alpha_ld_no-relax.dpatch [changed mode: 0644->0755]
debian/patches/call_ld_with_proper_flags.dpatch [changed mode: 0644->0755]
debian/patches/man-ocamlmklib.dpatch [changed mode: 0644->0755]